(0 17 15)(1 20 5)(2 9 7)(3 16 4)(6 18 12)(8 14 10)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (4 6 18)
(0 17 15)(1 20 5)(2 9 7)(3 16 4 12 6)(8 14 10)(11 19 13)(18)
2: (4 12 16)
(0 17 15)(1 20 5)(2 9 7)(3 16 6)(4)(8 14 10)(11 19 13)(12)(18)
3: (0 17 15)
(0)(1 20 5)(2 9 7)(3 16 6)(4)(8 14 10)(11 19 13)(12)(15)(17)(18)
4: (11 19 13)
(0)(1 20 5)(2 9 7)(3 16 6)(4)(8 14 10)(11)(12)(13)(15)(17)(18)(19)